Quantificational Logic Negating Quantifiers